kindtype(i;k) == if isrcv(k) es-M(es)(lnk(k),tag(k)) else es-V(es)(i,act(k)) fi 

latex

---

clarification:

es-kindtype(es;i;k) == if isrcv(k) es-M(es)(lnk(k),tag(k)) else es-V(es)(i,act(k)) fi 

latex

Definitions	if b t else f fi, isrcv(k), es-M(es), lnk(k), tag(k), f(a), es-V(es), act(k)
FDL editor aliases	es-kindtype